Orna Grumberg: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (16)
Yang paling popular
Senarai
- Senarai
- Jadual

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

Fail:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Tahun:

2018

Bahasa:

english

Fail:

EPUB, 13.56 MB

0 / 0

english, 2018

4

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Tahun:

2008

Bahasa:

english

Fail:

PDF, 41.36 MB

0 / 0

english, 2008

5

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 3.22 MB

0 / 0

english, 1999

6

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Tahun:

2008

Bahasa:

english

Fail:

PDF, 1.73 MB

0 / 0

english, 2008

7

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.72 MB

0 / 0

english, 2009

8

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 8.60 MB

0 / 0

english, 2007

9

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 2.13 MB

0 / 0

english, 1999

10

Dependable software systems engineering

Dependable software systems engineering

Ios Pr Inc; IOS Press

Esparza, Javier(Editor), Grumberg, Orna(Editor), Sickert, Salomon(Editor)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 5.91 MB

5.0 / 0

english, 2016

11

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

F. Erich Marschner (auth.), Orna Grumberg (eds.)

Tahun:

1997

Bahasa:

english

Fail:

DJVU, 5.29 MB

0 / 0

english, 1997

12

25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Springer Berlin Heidelberg

Grumberg, Orna., Veith, Helmut

Tahun:

2008

Bahasa:

english

Fail:

PDF, 42.39 MB

0 / 5.0

english, 2008

13

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 8.60 MB

0 / 4.0

english, 2007

14

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)

Tahun:

1995

Bahasa:

english

Fail:

DJVU, 3.20 MB

0 / 0

english, 1995

15

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.63 MB

0 / 0

english, 2009

16

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Tahun:

2008

Bahasa:

english

Fail:

DJVU, 4.00 MB

0 / 0

english, 2008